A new diluted magnetic semiconductor: The half-metallic ferromagnet CoTi(1-x)FexSb

Half-Heusler compounds with 18 valence electrons are semi-conducting. It will be shown that doping with electrons results in half-metallic ferromagnets, similar to the case of diluted semi-conductors. CoTiSb is known to be a semi-conducting Half-Heusler compound. Doping by Fe is expected to result in ferromagnetic order. It was found that Ti can be replaced by up to about 10% Fe while its crystal structure still remains C1b, which was proved by X-ray powder diffraction. SQUID magnetometry revealed a magnetic moment of 0.32 mB per unit cell at 5K.Comment: JMMM accepte

The half-metallic ferromagnet Co2Mn0.5Fe0.5Si

Electronic structure calculation were used to predict a new material for spintronic applications. Co2Mn0.5Fe0.5Si is one example which is stable against on-site correlation and disorder effects due to the position of the Fermi energy in the middle of the minority band gap. Experimentally the sample were made exhibiting L21 structure and a high magnetic order.Comment: 5 pages, 2 Figures, J. Magn. Magn. Mater. accepte

Refinement sensitive formal semantics of state machines with persistent choice

Modeling languages usually support two kinds of nondeterminism, an external one for interactions of a system with its environment, and one that stems from under-specification as familiar in models of behavioral requirements. Both forms of nondeterminism are resolvable by composing a system with an environment model and by refining under-specified behavior (respectively). Modeling languages usually dont support nondeterminism that is persistent in that neither the composition with an environment nor refinements of under-specification will resolve it. Persistent nondeterminism is used, e.g., for modeling faulty systems. We present a formal semantics for UML state machines enriched with an operator persistent choice that models persistent nondeterminism. This semantics is based on abstract models - μ-automata with a novel refinement relation - and a sound three-valued satisfaction relation for properties expressed in the μ-calculus. © 2009 Elsevier B.V. All rights reserved

Magnetic dichroism study on Mn1.8_{1.8}Co1.2_{1.2}Ga thin film using a combination of X-ray absorption and photoemission spectroscopy

Using circularly polarised radiation and a combination of bulk-sensitive hard X-ray photoelectron spectroscopy and X-ray-absorption spectroscopy (XAS) we studied the electronic and magnetic structure of epitaxial Mn$_{1.8}$Co$_{1.2}$Ga thin films. Spin resolved Bloch spectral functions, density of states as well as charge and magnetisation densities were investigated by a first-principles analysis of full potential, fully relativistic Korringa--Kohn--Rostoker calculations of the electronic structure. The valence states were experimentally investigated by using linear dichroism in the angular distribution and comparing the results to spin-resolved densities of states. The linear dichroism in the valence band enabled a symmetry analysis of the contributing states. The spectra were in good agreement with the theoretical partial density of states. The element-specific, spin-resolved, unoccupied densities of states for Co and Mn were analysed by using XAS and X-ray magnetic circular dichroism (XMCD) at the $L_{3,2}$ edges. The spectra were influenced by strong correlation effects. XMCD was used to extract the site resolved magnetic moments. The experimental values of $m_{\rm Mn}=0.7\:\mu_B$ and $m_{\rm Co}=1.05\:\mu_B$ agree very well with the calculated magnetic moments. Magnetic circular dichroism in angle-resolved photoelectron spectroscopy at the Mn and Co $2p$ core level exhibited a pronounced magnetic dichroism and confirmed the localised character of the Mn $d$ valence states

Electronic Structure, Localization and Spin-State Transition in Cu-substituted FeSe: Fe1−x_{1-x}Cux_xSe

We report density functional studies of the Fe$_{1-x}$Cu$_x$Se alloy done using supercell and coherent potential approximation methods. Magnetic behavior was investigated using the disordered local moment approach. We find that Cu occurs in a nominal $d^{10}$ configuration and is highly disruptive to the electronic structure of the Fe sheets. This would be consistent with a metal insulator transition due to Anderson localization. We further find a strong cross over from a weak moment itinerant system to a local moment magnet at $x \approx 0.12$. We associate this with the experimentally observed jump near this concentration. Our results are consistent with the characterization of this concentration dependent jump as a transition to a spin-glass